Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·10h·
Discuss: Hacker News, r/programming
🎯Automata theory
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·3d
⏰Temporal Logic
Kleene's Recursion Theorem
en.wikipedia.org·7h·
Discuss: Hacker News
🔤Type Theory
So you want to control flow in PyTorch 2
blog.ezyang.com·1d·
Discuss: Hacker News
✨Effect Handlers
Quantized Temporal Graph Matching for Anomaly Detection in Reversed Mass Ordering Systems
dev.to·8h·
Discuss: DEV
🔤EBCDIC Mining
We Badly Need Frameworks
koolcodez.com·13h·
Discuss: Hacker News
🌳Incremental Parsing
When should you use an actor?
massicotte.org·8h·
Discuss: Hacker News
🌐Protocol Synthesis
AI could one day replace tutors, but its reliability still lags
phys.org·12h
✓Automated Theorem Proving
Parameters and binding forms should be mutually recursive
samestep.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Mapping Relationships in IDA 9.2: Dynamic Xref Graph and Xref Tree
hex-rays.com·1d
🔗Static Linking
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·21h·
Discuss: Hacker News
🔲Cellular Automata
Program verification is not all-or-nothing
lawrencecpaulson.github.io·2d
🎯Performance Proofs
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·11h·
Discuss: Hacker News
🕸️Graph Algorithms
Thoughts on Visual Programming
btmc.substack.com·7h·
Discuss: Substack
📟Terminal Physics
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·1d·
Discuss: Hacker News
🧬Functional Programming
How did MVC get so F'ed up?
stlab.cc·3h·
Discuss: Hacker News
✨Algebraic Effects
Substrates ’25 Vision Statement
programmingmadecomplicated.wordpress.com·14h
⚖️Emulation Ethics
DigiSim
hackster.io·1d
📟Terminal Physics
Hilbert space: treating functions as vectors
eli.thegreenplace.net·15h
📐Linear Algebra
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·1d
🔗Monadic Parsing